A A
en
Deutsch
English
Menü
Home Members Clausecker, Robert

Clausecker, Robert

Claussecker_Robert.png

Contact

Position
Guest
Room
3152
Phone
+49 30 84185-263
Email
Email
Division
Parallel and Distributed Computing
Department
Distributed Algorithms and Supercomputing
Group
Scalable Algorithms

Publications

2026
Fixing ill-formed UTF-16 strings with SIMD instructions CoRR, Vol.abs/2601.06349, pp. 1-18, 2026 Robert Clausecker, Daniel Lemire BibTeX
DOI
arXiv
Parallel O(√n) Overhead LSD Radix Sort CoRR, Vol.abs/2607.05302, pp. 1-16, 2026 Robert Clausecker, Florian Schintke BibTeX
DOI
arXiv
Practical Parallel Block Tree Construction 24th International Symposium on Experimental Algorithms, SEA 2026, Copenhagen, Denmark, June 22-24, 2026, pp. 13:1-13:19, Vol.371, LPIPcs, 2026 Robert Clausecker, Florian Kurpicz, Etienne Palanga BibTeX
DOI
2025
Faster Positional‐Population Counts for AVX2, AVX‐512, and ASIMD Concurrency and Computation: Practice and Experience, 37(27-28), 2025 Robert Clausecker, Daniel Lemire, Florian Schintke PDF
BibTeX
DOI
Practical Parallel Block Tree Construction: First Results CoRR, Vol.abs/2512.23314, pp. 1-18, 2025 Robert Clausecker, Florian Kurpicz, Etienne Palanga BibTeX
DOI
arXiv
2024
Faster Positional-Population Counts for AVX2, AVX-512, and ASIMD CoRR, Vol.abs/2412.16370, pp. 1-23, 2024 Robert Clausecker, Daniel Lemire, Florian Schintke BibTeX
DOI
2023
Prioritised Unit Propagation by Partitioning the Watch Lists Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), pp. 14-34, Vol.3545, 2023 Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis BibTeX
Transcoding unicode characters with AVX-512 instructions Software: Practice and Experience, 53(12), pp. 2430-2462, 2023 Robert Clausecker, Daniel Lemire BibTeX
DOI
2021
A Measure of Quality for IDA* Heuristics Proceedings of the Fourteenth International Symposium on Combinatorial Search (SoCS 2021), pp. 55-63, 2021 Robert Clausecker, Florian Schintke PDF
BibTeX
CleanMaple Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 24, 2021 Benjamin Kaiser, Robert Clausecker BibTeX
CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 25, 2021 Benjamin Kaiser, Robert Clausecker BibTeX
Sliding Tile Puzzles Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions, p. 57, 2021 Robert Clausecker, Benjamin Kaiser BibTeX
2020
The Quality of Heuristic Functions for IDA* ZIB-Report 20-17 Robert Clausecker PDF
BibTeX
URN
2019
Zero-Aware Pattern Databases with 1-Bit Compression for Sliding Tile Puzzles Proceedings of the Twelfth International Symposium on Combinatorial Search (SoCS 2019), pp. 35-43, 2019 Robert Clausecker, Alexander Reinefeld BibTeX
2017
Notes on the Construction of Tablebases Bachelor's thesis, Humboldt-Universität zu Berlin, Alexander Reinefeld, Johannes Köbler (Advisors), 2017 (preprint available as ZIB-Report 17-59) Robert Clausecker PDF (ZIB-Report)
BibTeX